Search Results
Richard Waldinger - Deductive Synthesis of the Unification Algorithm:The Automation of Introspection
Ontology Talk: An Interview With Richard Waldinger
miniKanren 2021 - A New Higher-order Unification Algorithm for λKanren
Reconciling Enumerative and Deductive Program Synthesis
Comparison Procedure in Robinson's Unification Algorithm
2018 09 27 - Simon Meier - Test-Driven Development of a Unification Algorithm
